Knihy od autora Sandrine Blazy

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Static Analysis

   Sandrine Blazy, Thomas Jensen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Interactive Theorem Proving

   Sandrine Blazy, Christine Paulin-Mohring, David Pichardie | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
3. 

   S mantiques Formelles

   Sandrine Blazy | Omniscriptum, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Francouzština

   Vazba: Brožovaná

   997 Kč

   Koupit
4. 

   Verified Software. Theories, Tools, and Experiments

   Sandrine Blazy, Marsha Chechik | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Expresní doručení do druhého dne jen za 54 Kč Zjistěte více